alive\{i:l\}(${\it es}$; ${\it Fail}$; $X$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$($X$$\mid\neg$fail{-}dcdr\{i:l\}(${\it es}$; ${\it Fail}$))